Four-Dimensional Synchronized Alternating Turing Machines
نویسندگان
چکیده
Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM ), and investigates fundamental properties of 4-SATM ’s. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM ’s and four-dimensional alternating Turing machines with small space bounds, (2) a relationship between the accepting powers of seven-way and eight-way 4-SATM ’s, (3) a relationship between the accepting powers of 4-SATM ’s and four-dimensional nondeterministic Turing machines. In this paper, we let each sidelength of each input tape of these automata be equivalent in order to increase the theoretical interest. Key–Words: alternation, computational complexity, configuration, four-dimensional Turing machine, synchronization
منابع مشابه
Synchronized Alternating Turing Machines on Four-Dimensional Input Tapes
Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM ), and investigates fundamental properties of 4-SATM ’s. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM ’s and four-dimensional alter...
متن کاملSome Accepting Powers of Three-Dimensional Synchronized Alternating Turing Machines
This paper introduces a three-dimensional synchronized alternating Turing machine (3-SATM), and investigates fundamental properties of 3-SATM ′s whose input tapes are restricted to cubic ones. The main topics of this paper are: (1) a relationship between the accepting powers of 3-SATM ′s and three-dimensional alternating Turing machines with small space bounds, (2) a relationship between the ac...
متن کاملSome Results about Hierarchy and Recognizability of Four-Dimensional Synchronized Alternating Turing Machines
The recent advances in computer animation, motion image processing, robotics and so on prompted us to analyze computational complexity of four-dimensional pattern processing. Thus, the research of four-dimensional automata as a computational model of four-dimensional pattern processing has also been meaningful. From this viewpoint, we introduced a four-dimensional alternating Turing machine (4-...
متن کاملHardware Hierarchies and Recognizabilities of Four-Dimensional Synchronized Alternating Turing Machines
The recent advances in computer animation, motion image processing, robotics and so on prompted us to analyze computational complexity of four-dimensional pattern processing. Thus, the research of four-dimensional automata as a computational model of four-dimensional pattern processing has also been meaningful. From this viewpoint, we introduced a four-dimensional alternating Turing machine (4-...
متن کاملSome Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly
During the past years many models of parallel computations have arisen. One of them alternation was introduced in [l] as a generalization of nondeterminism. Several types of alternating machines have been introduced and many results about them have been established. Among the most interesting modifications are the alternating machines with universal states only (here, universally branching Turi...
متن کامل